Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
141	A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-12 17:56:59 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Models of computation Logic in computer science Substitution Structure Model theory Parity of a permutation
142	Automated reasoning under the theory H∗ (thesis abstract) Fritz Obermeyer February 23, 2009 In this thesis I study four extensions of untyped λ-calculi all under the maximally coarse semantics of Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-11-27 11:35:14 Logic Mathematical logic Mathematics Model theory Logic in computer science Lambda calculus Models of computation Type theory Combinatory logic Theorem Structure Interpretation
143	STRC 11th Swiss Transport Research Conference Monte Verità / Ascona, May 7–9 2011 Add to Reading List Source URL: www.strc.ch Language: English - Date: 2011-05-06 03:57:40 Multi-agent systems Simulation software Simulation Complex systems theory Models of computation Agent-based model UrbanSim MATSim Traffic simulation Scientific modelling Microsimulation Macroeconomic model
144	ISSNPrint) ISSNOnline) Computer Science for Fun Issue 14 Add to Reading List Source URL: www.cs4fn.org Language: English - Date: 2012-11-21 11:20:28 Alan Turing Cryptography Turing machine Computability theory Models of computation Codebreaker Public-key cryptography Known-plaintext attack Cipher Turing Encryption Cryptanalysis
145	An Agent-Based Simulation Model of Swiss Travel: First Results Bryan Raney, Dept. of Computer Science, ETH Zurich ¨ Kai Nagel, Dept. of Computer Science, ETH Zurich ¨ Add to Reading List Source URL: www.strc.ch Language: English - Date: 2009-01-15 17:00:53 Transport Transportation planning Business Economy Complex systems theory Simulation Models of computation Multi-agent systems Traffic simulation Transportation forecasting Transims Route assignment
146	XML plans file Agent Database Agent Agent Add to Reading List Source URL: www.strc.ch Language: English - Date: 2009-01-15 15:40:28 Transport Transportation planning Multi-agent systems Transims Complex systems theory Models of computation Scientific modeling Agent-based model Traffic simulation Traffic congestion Simulation Transportation forecasting
147	First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Model checking First-order logic Mathematical logic Logic in computer science Formal methods Theory of computation
148	The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Matteo Cimini Jeremy G. Siek Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Type theory Lambda calculus Type systems Models of computation Program analysis Simply typed lambda calculus Gradual typing Monad System F
149	The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2004-11-03 09:40:39 Logic in computer science Lambda calculus Models of computation Combinatory logic First-order logic Substitution Symbol Natural deduction

UPDATE